Analogy and Abstraction

Analogy and Abstraction

A central question in human development is how young children gain knowledge so fast. We propose that analogical generalization drives much of this early learning and allows children to generate new abstractions from experience. In this paper, we review evidence for analogical generalization in both children and adults. We discuss how analogical processes interact with the child's changing know...

Reasoning by Analogy via Abstraction Reasoning by Analogy via Abstraction

theoremsnametheoremlenabs ag+ ag ag& ag"lemmasass ]x ] (y ] z) = (x ] y) ] z150.71 0.65 0.65 0.78com ]x ] y = y ] x230.92 0.79 0.3{lemc ]com2 ] x ] (y ] z) = y ] (x ] z)150.71 0.65{{lemc ]lemc ] ? ] (y ] x) = y ] ( ? ] x)130.76 0.48 0.40{even ]e(x) e(x ] y)290.82 1.00{{dbl...

Abstraction in Inductive Theorem Proving by Analogy

ion in Inductive Theorem Proving by Analogy Erica Melis Universit at des Saarlandes, Fachbereich Informatik, D-66041 Saarbr ucken, Germany, [email protected] Abstract The abstraction described in this paper has been utilized to restrict the retrieval of source plans, to choose appropriate analogical mappings, and to trigger reformulations in the system ABALONE. The key idea is that abstracti...

Proceedings of the First Working of Abstraction, Analogy and Metareasoning

Analogy as Functional Recategorization: Abstraction with HowNet Semantics

One generally accepted hallmark of creative thinking is an ability to look beyond conventional labels and recategorize a concept based on its behaviour and functional potential. So while taxonomies are useful in any domain of reasoning, they typically represent the conventional label set that creative thinking attempts to look beyond. So if a linguistic taxonomy like WordNet [1] is to be useful...